Optimal. Leaf size=176 \[ -\frac {b^2}{54 c (1+c x)^3}-\frac {5 b^2}{144 c (1+c x)^2}-\frac {11 b^2}{144 c (1+c x)}+\frac {11 b^2 \tanh ^{-1}(c x)}{144 c}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (1+c x)^3}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.17, antiderivative size = 176, normalized size of antiderivative = 1.00, number of steps
used = 18, number of rules used = 6, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {6065, 6063,
641, 46, 213, 6095} \begin {gather*} -\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (c x+1)}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (c x+1)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (c x+1)^3}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (c x+1)^3}-\frac {11 b^2}{144 c (c x+1)}-\frac {5 b^2}{144 c (c x+1)^2}-\frac {b^2}{54 c (c x+1)^3}+\frac {11 b^2 \tanh ^{-1}(c x)}{144 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 46
Rule 213
Rule 641
Rule 6063
Rule 6065
Rule 6095
Rubi steps
\begin {align*} \int \frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{(1+c x)^4} \, dx &=-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}+\frac {1}{3} (2 b) \int \left (\frac {a+b \tanh ^{-1}(c x)}{2 (1+c x)^4}+\frac {a+b \tanh ^{-1}(c x)}{4 (1+c x)^3}+\frac {a+b \tanh ^{-1}(c x)}{8 (1+c x)^2}-\frac {a+b \tanh ^{-1}(c x)}{8 \left (-1+c^2 x^2\right )}\right ) \, dx\\ &=-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}+\frac {1}{12} b \int \frac {a+b \tanh ^{-1}(c x)}{(1+c x)^2} \, dx-\frac {1}{12} b \int \frac {a+b \tanh ^{-1}(c x)}{-1+c^2 x^2} \, dx+\frac {1}{6} b \int \frac {a+b \tanh ^{-1}(c x)}{(1+c x)^3} \, dx+\frac {1}{3} b \int \frac {a+b \tanh ^{-1}(c x)}{(1+c x)^4} \, dx\\ &=-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (1+c x)^3}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}+\frac {1}{12} b^2 \int \frac {1}{(1+c x)^2 \left (1-c^2 x^2\right )} \, dx+\frac {1}{12} b^2 \int \frac {1}{(1+c x) \left (1-c^2 x^2\right )} \, dx+\frac {1}{9} b^2 \int \frac {1}{(1+c x)^3 \left (1-c^2 x^2\right )} \, dx\\ &=-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (1+c x)^3}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}+\frac {1}{12} b^2 \int \frac {1}{(1-c x) (1+c x)^3} \, dx+\frac {1}{12} b^2 \int \frac {1}{(1-c x) (1+c x)^2} \, dx+\frac {1}{9} b^2 \int \frac {1}{(1-c x) (1+c x)^4} \, dx\\ &=-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (1+c x)^3}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}+\frac {1}{12} b^2 \int \left (\frac {1}{2 (1+c x)^2}-\frac {1}{2 \left (-1+c^2 x^2\right )}\right ) \, dx+\frac {1}{12} b^2 \int \left (\frac {1}{2 (1+c x)^3}+\frac {1}{4 (1+c x)^2}-\frac {1}{4 \left (-1+c^2 x^2\right )}\right ) \, dx+\frac {1}{9} b^2 \int \left (\frac {1}{2 (1+c x)^4}+\frac {1}{4 (1+c x)^3}+\frac {1}{8 (1+c x)^2}-\frac {1}{8 \left (-1+c^2 x^2\right )}\right ) \, dx\\ &=-\frac {b^2}{54 c (1+c x)^3}-\frac {5 b^2}{144 c (1+c x)^2}-\frac {11 b^2}{144 c (1+c x)}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (1+c x)^3}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}-\frac {1}{72} b^2 \int \frac {1}{-1+c^2 x^2} \, dx-\frac {1}{48} b^2 \int \frac {1}{-1+c^2 x^2} \, dx-\frac {1}{24} b^2 \int \frac {1}{-1+c^2 x^2} \, dx\\ &=-\frac {b^2}{54 c (1+c x)^3}-\frac {5 b^2}{144 c (1+c x)^2}-\frac {11 b^2}{144 c (1+c x)}+\frac {11 b^2 \tanh ^{-1}(c x)}{144 c}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{9 c (1+c x)^3}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)^2}-\frac {b \left (a+b \tanh ^{-1}(c x)\right )}{12 c (1+c x)}+\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{24 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{3 c (1+c x)^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.10, size = 168, normalized size = 0.95 \begin {gather*} -\frac {16 \left (18 a^2+6 a b+b^2\right )+6 b (12 a+5 b) (1+c x)+6 b (12 a+11 b) (1+c x)^2+24 b \left (24 a+b \left (10+9 c x+3 c^2 x^2\right )\right ) \tanh ^{-1}(c x)-36 b^2 \left (-7+3 c x+3 c^2 x^2+c^3 x^3\right ) \tanh ^{-1}(c x)^2+3 b (12 a+11 b) (1+c x)^3 \log (1-c x)-3 b (12 a+11 b) (1+c x)^3 \log (1+c x)}{864 c (1+c x)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(320\) vs.
\(2(158)=316\).
time = 0.34, size = 321, normalized size = 1.82
method | result | size |
derivativedivides | \(\frac {-\frac {a^{2}}{3 \left (c x +1\right )^{3}}-\frac {b^{2} \arctanh \left (c x \right )^{2}}{3 \left (c x +1\right )^{3}}-\frac {b^{2} \arctanh \left (c x \right )}{9 \left (c x +1\right )^{3}}-\frac {b^{2} \arctanh \left (c x \right )}{12 \left (c x +1\right )^{2}}-\frac {b^{2} \arctanh \left (c x \right )}{12 \left (c x +1\right )}+\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x +1\right )}{24}-\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x -1\right )}{24}-\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{48}+\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (c x +1\right )}{48}-\frac {b^{2} \ln \left (c x +1\right )^{2}}{96}+\frac {b^{2} \ln \left (c x -1\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{48}-\frac {b^{2} \ln \left (c x -1\right )^{2}}{96}-\frac {b^{2}}{54 \left (c x +1\right )^{3}}-\frac {5 b^{2}}{144 \left (c x +1\right )^{2}}-\frac {11 b^{2}}{144 \left (c x +1\right )}+\frac {11 b^{2} \ln \left (c x +1\right )}{288}-\frac {11 b^{2} \ln \left (c x -1\right )}{288}-\frac {2 a b \arctanh \left (c x \right )}{3 \left (c x +1\right )^{3}}-\frac {a b}{9 \left (c x +1\right )^{3}}-\frac {a b}{12 \left (c x +1\right )^{2}}-\frac {a b}{12 \left (c x +1\right )}+\frac {a b \ln \left (c x +1\right )}{24}-\frac {a b \ln \left (c x -1\right )}{24}}{c}\) | \(321\) |
default | \(\frac {-\frac {a^{2}}{3 \left (c x +1\right )^{3}}-\frac {b^{2} \arctanh \left (c x \right )^{2}}{3 \left (c x +1\right )^{3}}-\frac {b^{2} \arctanh \left (c x \right )}{9 \left (c x +1\right )^{3}}-\frac {b^{2} \arctanh \left (c x \right )}{12 \left (c x +1\right )^{2}}-\frac {b^{2} \arctanh \left (c x \right )}{12 \left (c x +1\right )}+\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x +1\right )}{24}-\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x -1\right )}{24}-\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{48}+\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (c x +1\right )}{48}-\frac {b^{2} \ln \left (c x +1\right )^{2}}{96}+\frac {b^{2} \ln \left (c x -1\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{48}-\frac {b^{2} \ln \left (c x -1\right )^{2}}{96}-\frac {b^{2}}{54 \left (c x +1\right )^{3}}-\frac {5 b^{2}}{144 \left (c x +1\right )^{2}}-\frac {11 b^{2}}{144 \left (c x +1\right )}+\frac {11 b^{2} \ln \left (c x +1\right )}{288}-\frac {11 b^{2} \ln \left (c x -1\right )}{288}-\frac {2 a b \arctanh \left (c x \right )}{3 \left (c x +1\right )^{3}}-\frac {a b}{9 \left (c x +1\right )^{3}}-\frac {a b}{12 \left (c x +1\right )^{2}}-\frac {a b}{12 \left (c x +1\right )}+\frac {a b \ln \left (c x +1\right )}{24}-\frac {a b \ln \left (c x -1\right )}{24}}{c}\) | \(321\) |
risch | \(\frac {b^{2} \left (x^{3} c^{3}+3 c^{2} x^{2}+3 c x -7\right ) \ln \left (c x +1\right )^{2}}{96 \left (c x +1\right )^{3} c}-\frac {b \left (3 x^{3} b \ln \left (-c x +1\right ) c^{3}+9 b \,x^{2} \ln \left (-c x +1\right ) c^{2}+6 b \,c^{2} x^{2}+9 b c x \ln \left (-c x +1\right )+18 b c x -21 b \ln \left (-c x +1\right )+48 a +20 b \right ) \ln \left (c x +1\right )}{144 \left (c x +1\right )^{3} c}+\frac {-66 b^{2} c^{2} x^{2}-288 a^{2}-240 a b -112 b^{2}+36 \ln \left (-c x -1\right ) a b -36 a b \ln \left (c x -1\right )-63 b^{2} \ln \left (-c x +1\right )^{2}+120 b^{2} \ln \left (-c x +1\right )+27 b^{2} c^{2} x^{2} \ln \left (-c x +1\right )^{2}-33 b^{2} \ln \left (c x -1\right )-216 a b c x -72 a b \,c^{2} x^{2}+288 b \ln \left (-c x +1\right ) a -108 \ln \left (c x -1\right ) a b \,c^{2} x^{2}+36 b^{2} c^{2} \ln \left (-c x +1\right ) x^{2}+99 b^{2} c^{2} \ln \left (-c x -1\right ) x^{2}+33 b^{2} \ln \left (-c x -1\right )+108 b \,c^{2} \ln \left (-c x -1\right ) x^{2} a +36 \ln \left (-c x -1\right ) a b \,c^{3} x^{3}-36 \ln \left (c x -1\right ) a b \,c^{3} x^{3}+99 \ln \left (-c x -1\right ) b^{2} c x -99 \ln \left (c x -1\right ) b^{2} c x +108 b^{2} c x \ln \left (-c x +1\right )+27 b^{2} c x \ln \left (-c x +1\right )^{2}-162 b^{2} c x +108 \ln \left (-c x -1\right ) a b c x -108 \ln \left (c x -1\right ) a b c x -99 \ln \left (c x -1\right ) b^{2} c^{2} x^{2}+9 b^{2} c^{3} x^{3} \ln \left (-c x +1\right )^{2}+33 \ln \left (-c x -1\right ) b^{2} c^{3} x^{3}-33 \ln \left (c x -1\right ) b^{2} c^{3} x^{3}}{864 \left (c x +1\right )^{3} c}\) | \(558\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 445 vs.
\(2 (158) = 316\).
time = 0.29, size = 445, normalized size = 2.53 \begin {gather*} -\frac {1}{72} \, {\left (c {\left (\frac {2 \, {\left (3 \, c^{2} x^{2} + 9 \, c x + 10\right )}}{c^{5} x^{3} + 3 \, c^{4} x^{2} + 3 \, c^{3} x + c^{2}} - \frac {3 \, \log \left (c x + 1\right )}{c^{2}} + \frac {3 \, \log \left (c x - 1\right )}{c^{2}}\right )} + \frac {48 \, \operatorname {artanh}\left (c x\right )}{c^{4} x^{3} + 3 \, c^{3} x^{2} + 3 \, c^{2} x + c}\right )} a b - \frac {1}{864} \, {\left (12 \, c {\left (\frac {2 \, {\left (3 \, c^{2} x^{2} + 9 \, c x + 10\right )}}{c^{5} x^{3} + 3 \, c^{4} x^{2} + 3 \, c^{3} x + c^{2}} - \frac {3 \, \log \left (c x + 1\right )}{c^{2}} + \frac {3 \, \log \left (c x - 1\right )}{c^{2}}\right )} \operatorname {artanh}\left (c x\right ) + \frac {{\left (66 \, c^{2} x^{2} + 9 \, {\left (c^{3} x^{3} + 3 \, c^{2} x^{2} + 3 \, c x + 1\right )} \log \left (c x + 1\right )^{2} + 9 \, {\left (c^{3} x^{3} + 3 \, c^{2} x^{2} + 3 \, c x + 1\right )} \log \left (c x - 1\right )^{2} + 162 \, c x - 3 \, {\left (11 \, c^{3} x^{3} + 33 \, c^{2} x^{2} + 33 \, c x + 6 \, {\left (c^{3} x^{3} + 3 \, c^{2} x^{2} + 3 \, c x + 1\right )} \log \left (c x - 1\right ) + 11\right )} \log \left (c x + 1\right ) + 33 \, {\left (c^{3} x^{3} + 3 \, c^{2} x^{2} + 3 \, c x + 1\right )} \log \left (c x - 1\right ) + 112\right )} c^{2}}{c^{6} x^{3} + 3 \, c^{5} x^{2} + 3 \, c^{4} x + c^{3}}\right )} b^{2} - \frac {b^{2} \operatorname {artanh}\left (c x\right )^{2}}{3 \, {\left (c^{4} x^{3} + 3 \, c^{3} x^{2} + 3 \, c^{2} x + c\right )}} - \frac {a^{2}}{3 \, {\left (c^{4} x^{3} + 3 \, c^{3} x^{2} + 3 \, c^{2} x + c\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.40, size = 203, normalized size = 1.15 \begin {gather*} -\frac {6 \, {\left (12 \, a b + 11 \, b^{2}\right )} c^{2} x^{2} + 54 \, {\left (4 \, a b + 3 \, b^{2}\right )} c x - 9 \, {\left (b^{2} c^{3} x^{3} + 3 \, b^{2} c^{2} x^{2} + 3 \, b^{2} c x - 7 \, b^{2}\right )} \log \left (-\frac {c x + 1}{c x - 1}\right )^{2} + 288 \, a^{2} + 240 \, a b + 112 \, b^{2} - 3 \, {\left ({\left (12 \, a b + 11 \, b^{2}\right )} c^{3} x^{3} + 3 \, {\left (12 \, a b + 7 \, b^{2}\right )} c^{2} x^{2} + 3 \, {\left (12 \, a b - b^{2}\right )} c x - 84 \, a b - 29 \, b^{2}\right )} \log \left (-\frac {c x + 1}{c x - 1}\right )}{864 \, {\left (c^{4} x^{3} + 3 \, c^{3} x^{2} + 3 \, c^{2} x + c\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \operatorname {atanh}{\left (c x \right )}\right )^{2}}{\left (c x + 1\right )^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 333 vs.
\(2 (158) = 316\).
time = 0.40, size = 333, normalized size = 1.89 \begin {gather*} \frac {1}{1728} \, c {\left (\frac {18 \, {\left (\frac {3 \, {\left (c x + 1\right )}^{2} b^{2}}{{\left (c x - 1\right )}^{2}} - \frac {3 \, {\left (c x + 1\right )} b^{2}}{c x - 1} + b^{2}\right )} {\left (c x - 1\right )}^{3} \log \left (-\frac {c x + 1}{c x - 1}\right )^{2}}{{\left (c x + 1\right )}^{3} c^{2}} + \frac {6 \, {\left (\frac {36 \, {\left (c x + 1\right )}^{2} a b}{{\left (c x - 1\right )}^{2}} - \frac {36 \, {\left (c x + 1\right )} a b}{c x - 1} + 12 \, a b + \frac {18 \, {\left (c x + 1\right )}^{2} b^{2}}{{\left (c x - 1\right )}^{2}} - \frac {9 \, {\left (c x + 1\right )} b^{2}}{c x - 1} + 2 \, b^{2}\right )} {\left (c x - 1\right )}^{3} \log \left (-\frac {c x + 1}{c x - 1}\right )}{{\left (c x + 1\right )}^{3} c^{2}} + \frac {{\left (\frac {216 \, {\left (c x + 1\right )}^{2} a^{2}}{{\left (c x - 1\right )}^{2}} - \frac {216 \, {\left (c x + 1\right )} a^{2}}{c x - 1} + 72 \, a^{2} + \frac {216 \, {\left (c x + 1\right )}^{2} a b}{{\left (c x - 1\right )}^{2}} - \frac {108 \, {\left (c x + 1\right )} a b}{c x - 1} + 24 \, a b + \frac {108 \, {\left (c x + 1\right )}^{2} b^{2}}{{\left (c x - 1\right )}^{2}} - \frac {27 \, {\left (c x + 1\right )} b^{2}}{c x - 1} + 4 \, b^{2}\right )} {\left (c x - 1\right )}^{3}}{{\left (c x + 1\right )}^{3} c^{2}}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 2.30, size = 498, normalized size = 2.83 \begin {gather*} \ln \left (1-c\,x\right )\,\left (\ln \left (c\,x+1\right )\,\left (\frac {b^2}{3\,c\,\left (2\,c^3\,x^3+6\,c^2\,x^2+6\,c\,x+2\right )}-\frac {b^2\,\left (c^3\,x^3+3\,c^2\,x^2+3\,c\,x+1\right )}{24\,c\,\left (2\,c^3\,x^3+6\,c^2\,x^2+6\,c\,x+2\right )}\right )+\frac {b^2}{3\,c\,\left (6\,c^3\,x^3+18\,c^2\,x^2+18\,c\,x+6\right )}+\frac {b\,\left (6\,a-b\right )}{3\,c\,\left (6\,c^3\,x^3+18\,c^2\,x^2+18\,c\,x+6\right )}+\frac {b^2\,\left (11\,c^3\,x^3+45\,c^2\,x^2+69\,c\,x+51\right )}{48\,c\,\left (6\,c^3\,x^3+18\,c^2\,x^2+18\,c\,x+6\right )}\right )-\frac {x\,\left (27\,b^2+36\,a\,b\right )+x^2\,\left (11\,c\,b^2+12\,a\,c\,b\right )+\frac {8\,\left (18\,a^2+15\,a\,b+7\,b^2\right )}{3\,c}}{144\,c^3\,x^3+432\,c^2\,x^2+432\,c\,x+144}+{\ln \left (c\,x+1\right )}^2\,\left (\frac {b^2}{96\,c}-\frac {b^2}{12\,c^2\,\left (3\,x+3\,c\,x^2+\frac {1}{c}+c^2\,x^3\right )}\right )+{\ln \left (1-c\,x\right )}^2\,\left (\frac {b^2}{96\,c}-\frac {b^2}{3\,c\,\left (4\,c^3\,x^3+12\,c^2\,x^2+12\,c\,x+4\right )}\right )-\frac {\ln \left (c\,x+1\right )\,\left (\frac {7\,b^2}{96\,c^2}+\frac {5\,b^2\,x^2}{32}+\frac {23\,b^2\,x}{96\,c}+\frac {11\,b^2\,c\,x^3}{288}+\frac {b\,\left (16\,a+5\,b\right )}{48\,c^2}\right )}{3\,x+3\,c\,x^2+\frac {1}{c}+c^2\,x^3}-\frac {b\,\mathrm {atan}\left (c\,x\,1{}\mathrm {i}\right )\,\left (6\,a+11\,b\right )\,1{}\mathrm {i}}{72\,c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________